Inhalt des Dokuments

Bachelor

Effizienzsteigerung der Controller Synthese für deterministisch-kontextfreie Spezifikationen in LibFAUDES

Freitag, 23. Januar 2015

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. Raisch

Barakat, Ramon

---